#include <stdio.h>
#include <stdint.h>

#ifndef SIGNALS_H_
#define SIGNALS_H_
void flushToFile();

#endif
